ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS

Source URL: www.cse.iitd.ac.in

• Academia
• Computer science
• Computing
• Theoretical computer science
• Association for Computing Machinery
• ACM SIGACT
• International Conference on Functional Programming
• Computational intelligence
• Computational geometry
• Computational learning theory
• International Symposium on Symbolic and Algebraic Computation
• Algorithmica

Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters

Source URL: cs.au.dk

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Subroutines
• Models of computation
• Functional programming
• Theoretical computer science
• Lisp
• Eval
• Expression
• Anonymous function

Symbolic-Numeric Aspects in Computation of Invariant Pairs for Matrix Polynomials Esteban Segura Ugalde XLIM-DMI, Universit´e de Limoges The generalized eigenvalue/eigenvector problem for matrix polynomials consists in

Source URL: jncf2013.imag.fr

Article Submitted to Journal of Symbolic Computation A Constructive Algebraic Hierarchy in Coq Herman Geuvers, Randy Pollack, Freek Wiedijk and Jan Zwanenburg Department of Computer Science, Nijmegen University, the Net

Source URL: www.cs.ru.nl

SCC 2010 2nd International Conference on Symbolic Computation and Cryptography http://scc2010.rhul.ac.uk/ Royal Holloway, University of London, United Kingdom CALL FOR PAPERS SCC 2010 is the second edition of a new serie

Source URL: scc2010.rhul.ac.uk

Curriculum Vitae Priv.-Doz. Dipl.-Math. Dr. Teimuraz (Temur) Kutsia http://www.risc.jku.at/~tkutsia/ Contact Research Institute for Symbolic Computation (RISC)

Source URL: www.risc.jku.at

Semantic Guidance (and other methods) for Saturation Provers 8th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION

Source URL: www.cs.unm.edu

Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of

Source URL: www.cs.uni-potsdam.de

J. Symbolic Computation, 729–746 doi:jscoAvailable online at http://www.idealibrary.com on Computing Global Extension Modules GREGORY G. SMITH†

Source URL: www.mast.queensu.ca

CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging Trends

Source URL: www.calculemus.net

• Theoretical computer science
• Algorithm
• Correctness
• RSA
• Metamath
• Symbolic computation
• Recursion